Optimal. Leaf size=77 \[ b e n r x-e (a-b n) r x-b e r x \log \left (c x^n\right )+a x \left (d+e \log \left (f x^r\right )\right )-b n x \left (d+e \log \left (f x^r\right )\right )+b x \log \left (c x^n\right ) \left (d+e \log \left (f x^r\right )\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 77, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.095, Rules used = {2332, 2408}
\begin {gather*} -e r x (a-b n)+a x \left (d+e \log \left (f x^r\right )\right )+b x \log \left (c x^n\right ) \left (d+e \log \left (f x^r\right )\right )-b e r x \log \left (c x^n\right )-b n x \left (d+e \log \left (f x^r\right )\right )+b e n r x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2332
Rule 2408
Rubi steps
\begin {align*} \int \left (a+b \log \left (c x^n\right )\right ) \left (d+e \log \left (f x^r\right )\right ) \, dx &=a x \left (d+e \log \left (f x^r\right )\right )-b n x \left (d+e \log \left (f x^r\right )\right )+b x \log \left (c x^n\right ) \left (d+e \log \left (f x^r\right )\right )-(e r) \int \left (a-b n+b \log \left (c x^n\right )\right ) \, dx\\ &=-e (a-b n) r x+a x \left (d+e \log \left (f x^r\right )\right )-b n x \left (d+e \log \left (f x^r\right )\right )+b x \log \left (c x^n\right ) \left (d+e \log \left (f x^r\right )\right )-(b e r) \int \log \left (c x^n\right ) \, dx\\ &=b e n r x-e (a-b n) r x-b e r x \log \left (c x^n\right )+a x \left (d+e \log \left (f x^r\right )\right )-b n x \left (d+e \log \left (f x^r\right )\right )+b x \log \left (c x^n\right ) \left (d+e \log \left (f x^r\right )\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.02, size = 58, normalized size = 0.75 \begin {gather*} x \left (a d-b d n-a e r+2 b e n r+e (a-b n) \log \left (f x^r\right )+b \log \left (c x^n\right ) \left (d-e r+e \log \left (f x^r\right )\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.14, size = 1503, normalized size = 19.52
method | result | size |
risch | \(\text {Expression too large to display}\) | \(1503\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.28, size = 86, normalized size = 1.12 \begin {gather*} -b d n x + {\left ({\left (2 \, r - \log \left (f\right )\right )} x - x \log \left (x^{r}\right )\right )} b n e - a r x e + b d x \log \left (c x^{n}\right ) - {\left (r x - x \log \left (f x^{r}\right )\right )} b e \log \left (c x^{n}\right ) + a x e \log \left (f x^{r}\right ) + a d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 115, normalized size = 1.49 \begin {gather*} b n r x e \log \left (x\right )^{2} + {\left (2 \, b n - a\right )} r x e - {\left (b d n - a d\right )} x - {\left (b r x e - b d x\right )} \log \left (c\right ) + {\left (b x e \log \left (c\right ) - {\left (b n - a\right )} x e\right )} \log \left (f\right ) + {\left (b r x e \log \left (c\right ) + b n x e \log \left (f\right ) + b d n x - {\left (2 \, b n - a\right )} r x e\right )} \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.44, size = 97, normalized size = 1.26 \begin {gather*} a d x - a e r x + a e x \log {\left (f x^{r} \right )} - b d n x + b d x \log {\left (c x^{n} \right )} + 2 b e n r x - b e n x \log {\left (f x^{r} \right )} - b e r x \log {\left (c x^{n} \right )} + b e x \log {\left (c x^{n} \right )} \log {\left (f x^{r} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 4.54, size = 122, normalized size = 1.58 \begin {gather*} b n r x e \log \left (x\right )^{2} - 2 \, b n r x e \log \left (x\right ) + b r x e \log \left (c\right ) \log \left (x\right ) + b n x e \log \left (f\right ) \log \left (x\right ) + 2 \, b n r x e - b r x e \log \left (c\right ) - b n x e \log \left (f\right ) + b x e \log \left (c\right ) \log \left (f\right ) + b d n x \log \left (x\right ) + a r x e \log \left (x\right ) - b d n x - a r x e + b d x \log \left (c\right ) + a x e \log \left (f\right ) + a d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.78, size = 66, normalized size = 0.86 \begin {gather*} x\,\left (a\,d-b\,d\,n-a\,e\,r+2\,b\,e\,n\,r\right )+\ln \left (f\,x^r\right )\,\left (a\,e\,x-b\,e\,n\,x+b\,e\,x\,\ln \left (c\,x^n\right )\right )+b\,x\,\ln \left (c\,x^n\right )\,\left (d-e\,r\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________